Modular verification of collaboration-based software designs
نویسندگان
چکیده
منابع مشابه
Modular Verification for Component-Based Software
Software is becoming more and more complex because of higher expectation of users on software services. Some of those services are even unanticipated at the beginning of software implementation as software continues to evolve. As a matter of fact, software technology is struggling to keep up with the pace of changes. This situation creates a great challenge to the software industry, namely deve...
متن کاملModular Deductive Verification of Multiprocessor Hardware Designs
We present a new framework for modular verification of hardware designs in the style of the Bluespec language. That is, we formalize the idea of components in a hardware design, with well-defined input and output channels; and we show how to specify and verify components individually, with machinechecked proofs in the Coq proof assistant. As a demonstration, we verify a fairly realistic impleme...
متن کاملTowards Static Modular Software Verification
The paper presents our first work in progress results of an approach to verify the correct use of software libraries in target projects. Therefor the project’s source code is analyzed and checked against the library’s behavior specification, called interface grammar. This grammar is formalized using annotated state diagrams, and the verification analysis is based on static control flow, data fl...
متن کاملModular Verification of Feature-Oriented Software Models
Most existing modular model checking techniques betray their hardware roots: they assume that modules compose in parallel. In contrast, feature-oriented software designs, which have proven very successful in several domains, are sequential in the simplest case. Most interesting feature-oriented designs are really quasi-sequential compositions of parallel compositions. These designs demand and i...
متن کاملVerifying Component-Based Collaboration Designs
Collaboration-based or layered design provides an architecture for defining software systems. In this architecture, systems are defined as a composition of layers, where each layer (collaboration) defines a feature and the roles that each actor in the system plays in the feature. Collaboration-based designs have the advantage that features are easily added to or deleted from the system; simply ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2001
ISSN: 0163-5948
DOI: 10.1145/503271.503231